A commutative noetherian local ring (R, m) is Gorenstein if and only if every parameter ideal of R is irreducible. Although irreducible parameter ideals may exist in non-Gorenstein rings, Marley, Rogers, and Sakurai show ...